regla de inferencia ley conmutativa